# @LICENSE(NICTA_CORE)
libs-$(CONFIG_LIB_SEL4_SYNC) += libsel4sync

libsel4sync: libsel4 $(libc)
